641. Robust Control Design with MATLAB
پدیدآورنده : / by Da-Wei Gu, Petko H. Petkov, Mihail M Konstantinov
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Chemical engineering,Computer aided design,Systems theory,Industrial engineering,Electronic books
رده :
TJ217
.
2
.
G8
2013
642. Runtime Verification
پدیدآورنده : edited by Sarfraz Khurshid, Koushik Sen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
643. SOLIDWORKS 2018 for designers /
پدیدآورنده : contributing author, Sham Tickoo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : SolidWorks.,SolidWorks.,Computer graphics.,Computer-aided design.,Engineering models.,Computer graphics.,Computer-aided design.,Engineering models.
رده :
T385
.
T5295
2018
644. SPS-Programmierung mit IEC 61131-3 :
پدیدآورنده : Karl Heinz John, Michael Tiegelkamp.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : SPS (Computer file),SPS (Computer file),Automation.,Computer-aided design.,Programmable controllers.,Software engineering.,Automation.,Computer-aided design.,Programmable controllers.,Software engineering.,TECHNOLOGY & ENGINEERING-- Industrial Engineering.
رده :
T59
.
5
.
J6413
2009eb
645. Scalable Techniques for Formal Verification
پدیدآورنده : by Sandip Ray.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided design.,Engineering.,Systems engineering.
646. Second international conference on computer-aided production engineering: Edinburgh, April 1986
پدیدآورنده : editor, J. A. McGeough; Organised by University of Edinburgh, Department of Mechanical Engineering; Cosponsors, Institution of Mechanical Engineers...)et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing - Congresses ، Production engineering,Congresses ، Computer-aided design
رده :
TS
176
.
I58
1987
647. Secure integrated circuits and system
پدیدآورنده : / edited by Ingrid M.R. Verbauwhede
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits, Design and construction,Computer security,Systems on a chip,Electronic books,Engineering,Engineering: Electrical
رده :
TK7874
.
S43
2010
648. Semantics:
پدیدآورنده : edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
649. Sensitivity of functionals with applications to engineering sciences : Proceedings
پدیدآورنده : V. Komkov )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Engineering mathematics,Congresses ، Computer-aided design,Congresses ، Functionals
رده :
QA
3
.
L28
Vol
.
1086
650. Sensitivity of functionals with applications to engineering sciences : proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983
پدیدآورنده : edited by V. Komkov
کتابخانه: (طهران)
موضوع : Congresses ، Engineering mathematics,Congresses ، Computer-aided design,Congresses ، Functionals
رده :
TA
329
.
A4
1983
651. Sensitivity of functionals with applications to engineering sciences : proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983
پدیدآورنده : edited by V. Komkov
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Engineering mathematics,Congresses ، Computer-aided design,Congresses ، Functionals
رده :
QA
1
.
L4
v
.
1086
652. Sensitivity of functionals with applications to engineering sciences proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983
پدیدآورنده : edited by V. Komkov
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Engineering mathematics -- Congresses,، Computer-aided design -- Congresses,، Functionals -- Congresses
رده :
QA
320
.
S4
1983
653. Sensitivity of functionals with applications to engineering sciences: proceedings of a special session of the American Mathematical Society Spring Meeting held in New York City, May 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Engineering mathematics,Congresses ، Computer-aided design,Congresses ، Functionals
رده :
QA
3
.
L28
no
.
1086
654. Seventh IEEE International Conference on Engineering of Complex Computer Systems, Skovde, Sweden, June 11-13, 2001
پدیدآورنده : edited by Sten F. Andler, Michael G. Hinchey, Jeff Offutt; sponsored by IEEE Computer Society Technical Committee on Complexity in Computing...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، System design,Congresses ، Systems engineering,Congresses ، Computer engineering
رده :
TK
7885
.
A1
I34
2001
655. Soft Computing and Industry
پدیدآورنده : edited by Rajkumar Roy, Mario Köppen, Seppo Ovaska, Takeshi Furuhashi, Frank Hoffmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Engineering.,Industrial engineering.,Telecommunication.
656. Software Composition
پدیدآورنده : edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
657. Software Diversity in Computerized Control Systems
پدیدآورنده : edited by Udo Voges.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1988
658. Software Engineering 3
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
659. Software Service and Application Engineering
پدیدآورنده : edited by Maritta Heisel
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
660. Software engineering management
پدیدآورنده : Harry M. Sneed
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer systems- Software- Design- Engineering aspects
رده :
QA
،
76
,.
758
،.
S6413
،
1989
